type T = `Foo ${S}`;
